This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.

First published in 1935, The Life and Writings of Giambattista Vico is a succinct biography of the Italian philosopher, Giambattista Vico. Carefully documented, the book comments on Vico's life as well as his oeuvre in a bid to extend his audience to the English-speaking population. From his early childhood to the influence of his writings after his death, the book provides a keen insight into the many facets of his philosophy. This book will be of interest to students of philosophy (...) and history. (shrink)

First Published in 1999. Routledge is an imprint of Taylor & Francis, an informa company.

Poverty violates fundamental human values through its impact on individuals and on human environments, and it goes against the core values of democratic societies. Drawing on numerous scientific studies as well as his own experience witnessing the systematic poverty in his home country of South Africa, H. P. P. [Hennie] Lötter presents a holistic profile of poverty and its effects on human lives all the while accounting for the complexity of each individual case. He argues that shared ethical values must (...) guide the planning and distribution of aid and that our society must reevaluate our notions of justice and reimagine the role of the state in order to enable collective human responsibility for poverty’s successful eradication. (shrink)

Dilthey is a figure of real importance in European philosophy and social theory. He exerted a significant influence on Husserl, Heidegger and Weber through his work on the nature of philosophy and the methodology and epistemology of human and social studies. He was also a distinguished and original historian of ideas and, indeed, many of his philosophical interests arose from the insights and practical difficulties he encountered as a historian. He produced a monumental biography of Schleiermacher, and a series of (...) shorter, but no less striking studies of Hegel, Dickens, Shakespeare, Schiller and many others. (shrink)

The articles published in this volume will bring that knowledge which alone fortifies a student against wrong or fanciful occultism, as against the perils of ...

Summary. — The following theorem is proved.: If the statistical predictions of quantum theory are true in general and. if the macroscopic world is not radically different from what is observed, then what happens macroscopically in one space-time region must in some cases depend on variables that are controlled by experimenters in far-away, space-like-separated. regions. By what happens macroscopically in one space-time region is meant specifically the occurrence or nonoccurrence of a macroscopic event, such as the d.etection and recording of (...) a particle by some macroscopic device. By a variable controlled. by an experimenter in a certain space-time region is meant specifically the experimental setting in that region of some macroscopic device, in which this setting is controlled. by an experimenter acting within that region. The theorem pertains speci6cally to experimental situations in which there .are two far-apart, spacelike-separated. regions in each of which there is a device that can be set at either of two alternative settings by an experimenter acting within ' that region. There. is also a long sequence of experimental results (4.e. events) in each of the two regions. The theorem asserts that, for some such cases, it is mathematically impossible, within the manifold. (shrink)

The relation between morality and religion has often been discussed. However, it is not always recognized that the relation varies greatly according to the variety of religions. I shall here be concerned solely with Christian theism in its traditional form. I take the latter to signify, essentially, belief in a morally perfect Creator who exists in the threefold form of Father, Son and Holy Spirit and who, in the person of the Son, became man in Christ for our salvation. I (...) thus exclude from consideration all non-theistic accounts of God or the Absolute. Also I shall consider, not simply bare theism of the kind that Christians share with Jews and Muslims, but also the distinctively Christian form of theism that is generated by distinctively Christian revelation. Many otherwise sound descriptions of the relation between morality and theism are defective because they fail to consider the distinctively Christian contribution to the theistic concept of God and of his relation to the world. (shrink)

Philosophic anthropology, Pursuing philosophy's traditional search for reflective self-Knowledge seeks to crystallize the ideas of man underpinning empirical research and moral ideals. Neither the claim that pure speculation can produce factual knowledge nor the contention that a higher synthesis of empirical findings can become philosophy is acceptable. Philosophic anthropology is, Therefore, Most usefully conceived as a critique which traces the necessary presuppositions of the study of man in its various forms of the more rules we apply.

A methodology of the human studies needs to settle the conflict between the two long-established truth-seeking approaches. To be scientific, like physics, promises system, precision, and practical applicability but ignores the significant peculiarity of the subject matter: People talk. Hermeneutics, the methodology of interpretation, confronts the difficulties of understanding what people mean, but is suspected of lacking rigor. However, the two approaches are not exclusive alternatives. Sharing common procedures, such as classification and deduction, they also supplement each other: Interpretation depends (...) on factual evidence and scientific objectivity depends on reliable communication. Successful research needs to combine scientific study of facts with methodical interpretation of meaning. (shrink)

This paper is a contribution toward developing a theory of expansions of semi-Heyting algebras. It grew out of an attempt to settle a conjecture we had made in 1987. Firstly, we unify and extend strikingly similar results of [ 48 ] and [ 50 ] to the (new) equational class DHMSH of dually hemimorphic semi-Heyting algebras, or to its subvariety BDQDSH of blended dual quasi-De Morgan semi-Heyting algebras, thus settling the conjecture. Secondly, we give a criterion for a unary expansion (...) of semi-Heyting algebras to be a discriminator variety and give an algorithm to produce discriminator varieties. We then apply the criterion to exhibit an increasing sequence of discriminator subvarieties of BDQDSH . We also use it to prove that the variety DQSSH of dually quasi-Stone semi- Heyting algebras is a discriminator variety. Thirdly, we investigate a binary expansion of semi-Heyting algebras, namely the variety DblSH of double semi-Heyting algebras by characterizing its simples, and use the characterization to present an increasing sequence of discriminator subvarieties of DblSH . Finally, we apply these results to give bases for “small” subvarieties of BDQDSH , DQSSH , and DblSH. (shrink)